The traditional Square of Opposition consists of four sentence types. Two are universal and two particular; two are affirmative and two negative. Examples, where ‘S’ and ‘P’ designate the subject and the predicate, are: ‘every S is P’, ‘no S is P’, ‘some S is P’ and ‘some S is not P’. Taking the usual sentences of the square of opposition, quantifying over their predicates exhibits non-standard sentence forms. These sentences may be combined into non-standard Squares of Opposition , and (...) they reveal a new relationship not found in the usual Square. Medieval logicians termed ‘disparatae’ pairs of sentences like ‘every S is some P’ and ‘some S is every P’, which are neither subaltern nor contrary, neither contradictory nor subcontrary. Walter Redmond has designed a special language L to express the logical form of these sentences in a precise way. I will use this language to show how Squares of Opposition, standard and non-standard, form a complex network of relations which bring to .. (shrink)

En el presente artículo describo un octágono de oposición y equivalencia desarrollado por lógicos del siglo XIV, especialmente por Jean Buridan en su Summulae de dialectica. Dicho �cuadro� de oposición ofrece relaciones lógicas muy complejas, alguna de las cuales no está presente en el cuadrado tradicional de oposición. El octágono nos servirá para expresar tres tipos de oraciones: oraciones modales cuantificadas, oraciones oblicuas y oraciones con cuantificación explícita del predicado. El octágono muestra que la lógica medieval del siglo XIV ofrece (...) ya una lógica de relaciones, una lógica de la identidad y una lógica modal comparable a la lógica de nuestros días. (shrink)

Benito Jerónimo Feijoo (1676-1764) fue uno de los autores que, a partir del siglo XVI, formularon críticas a la enseñanza de la lógica clásica. En el presente artículo se examinan varios de los argumentos esgrimidos por Feijoo contra la lógica tradicional; algunos de estos se explican mejor al revisar la obra del pensador Novohispano Tomás de Mercado (15?-1575). Se resaltan los planteamientos de Feijoo que son afines o pertinentes a las críticas actuales a la lógica.

El presente artículo expone, de manera general, ciertos aspectos de la clasificación de oraciones realizada por varios autores en la edad media y más tarde en el autor novohispano Tomás de Mercado.

Presentamos la doctrina tradicional de la conversión simple de las oraciones categóricas y de las oraciones modales cuantificadas atendiendo al análisis medieval de las mismas en base a las oraciones de identidad. Estas oraciones de identidad resultan ser necesarias cuando son verdaderas e imposibles cuando son falsas. Simplificamos nuestro tratamiento reduciendo nuestro universo del discurso a pequeños �mundos� de individuos y propiedades recurriendo en parte al simbolismo ordinario y añadiendo un símbolo para la parte modal.

Presentamos algunas ideas acerca de la relación entre libertad y contingencia atendiendo a sus componentes modales. Nuestra idea central es que la libertad es posible gracias a la contingencia, pero este hecho no es gratuito. En efecto, trataremos de mostrar que si bien la contingencia es básica para la libertad, esto mismo no es contingente. Pues si la contingencia misma no fuera necesaria, no podría fundamentar la libertad. Así que la contingencia misma puede recibir calificaciones modales.

Presentamos algunas ideas de autores medievales acerca de las oraciones cuyo sujeto carece de referente, y si dichas oraciones. Los autores tratados son nominalistas del siglo xiv: Guillermo de Ockham, Alberto de Sajonia y Juan Buridan; y el realista moderado Vicente Ferrer. Luego abordamos a dos novohispanos, Alonso de la Veracruz y Tomás de Mercado, que están inmersos en la tradición medieval.